x86/pvh: don't test 64b-only vcpu_guest_context's fields
authorBoris Ostrovsky <boris.ostrovsky@oracle.com>
Mon, 22 Jun 2015 15:51:11 +0000 (17:51 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 22 Jun 2015 15:51:11 +0000 (17:51 +0200)
commit72f6e4ba462256c472c811480581508d901aabb1
treeda1ddd380f0d8d08f7f284361a5c2534d0cdb0fc
parent6501e9cc6a9473561f4b4bf3ee5583cc08f9e86d
x86/pvh: don't test 64b-only vcpu_guest_context's fields

vcpu_guest_context's fs_base, gs_base_kernel and gs_base_user are not defined
for 32-bit guests.

Drop PVH 32bitfixme ASSERT.

Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/domain.c